forall a. p a a